Induction hypothesis